IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·6h·
Discuss: Hacker News
🌳Archive Merkle Trees
Text-to-SQL Oriented to the Process Mining Domain: A PT-EN Dataset for Query Translation
arxiv.org·13h
📋Document Grammar
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
✅Format Verification
A simple way to automate RHEL VM creation
marcin.juszkiewicz.com.pl·1d
🔌Operating system internals
Google Summer of Code 2025 Reports: Enhancing Support for NAT64 Protocol Translation in NetBSD
blog.netbsd.org·42m
📝ABNF Parsing
How to turn Claude Code into a domain specific coding agent
blog.langchain.com·1h·
Discuss: Hacker News
📏Code Metrics
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🔗Lisp
15 Best Practices for Building MCP Servers in Production
thenewstack.io·1h
🌐NetworkProtocols
SOLID Principles for Python Developers
dev.to·2h·
Discuss: DEV
💻Programming languages
DCP-o-matic • Re: DCP with CPLs with different audio tracks, Verify gives an error.
dcpomatic.com·1d
✅FLAC Verification
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🌀Brotli Dictionary
From Legal Documents to Knowledge Graphs
neo4j.com·2d·
Discuss: Hacker News
📋Document Grammar
Casilda 1.0 released!
blogs.gnome.org·3h
📟Terminals
What is Algebraic about Algebraic Effects?
interjectedfuture.com·57m
✨Algebraic Effects
Deploy a PHP web app with Docker & K8s, with NGINX, PHP, and a CI/CD pipeline powered by GitHub…
blog.devops.dev·2h
📦Container Security
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🔗Topological Sorting
Automated Verification of Carbon Offset Project Credibility Using Multi-Modal Data Fusion and HyperScore Analysis
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
OpenAI Model Spec
model-spec.openai.com·14h·
Discuss: Hacker News
🔒WASM Capabilities
Package for iCloud CalDAV integration
reddit.com·7h·
Discuss: r/golang
🔌Offline-first Apps
Why Event-Driven Systems are Hard?
newsletter.scalablethread.com·1d·
Discuss: Hacker News, r/programming
📋Protocol Buffers